مطالعه مکانیزم انتقال بار کف به دلیل ماهیت پیچیده و محدودیت های موجود در اندازه گیری یکی از مسائل چالش برانگیز مهندسی رودخانه می باشد. با وجود مطالعات گسترده ی محققین و ارائه روابط متعدد تجربی و نیمه تجربی به منظور تخمین نرخ انتقال بار کف تاکنون هیچ روش و رابطه ی یکه ای به منظور مدل سازی و تخمین بار کف وجود ندارد. در این تحقیق عملکرد دو روش برنامه ریزی بیان ژن (gep) و مدل ترکیبی الگوریتم ژنتیک ...

این پژوهش در پی تبیین مبحث نوشتاری و بازنویسی تئاتر اینتراکتیو است و با بررسی عقاید نظریه پردازان مختلفی چون آنتونن آرتو، برتولت برشت، آگوستو بوآل و ریچارد شکنر و هم چنین سبک نمایشی چین به تحلیل وجهه ی ادبیات نمایشی این گونه از تئاتر می پردازد. دامنه ی تئاتریکال اینتراکتیو در این پژوهش در دو شاخه تعریف می شود: الف) عملی و ب) نظری. در راستای اهداف رساله، سه اثر (اتهام به خود، اهانت به تماشاگر و ...

بازنویسی و ساده سازی متون کهن ادب‍ی به زبان ساده برای گروه های سن‍ی مختلف از جمله نوجوانان، اهم‍یت زیادی دارد. ضرورت این کار آشنا شدن نوجوانان با فرهنگ، آداب و رسوم، تمدن، مفاخر مل‍ی و گذشته ادب‍ی این مرز و بوم است. مخاطب آثارکهن، بیشتر بزرگسالان و افراد تحصیل کرده هستند. اما کودکان و نوجوانان نیز برای آشنایی با فرهنگ و تمدن گذشته خویش، به برقراری پیوند عمیقی با این متون نیاز دارند. این پژوهش، ...

سیستم بازنویسی ترم (trs) یک مدل محاسباتی است که به دلیل قابلیت های خوبی که دارد در تحلیل زبان های تابعی از آن استفاده می شود. یک سیستم بازنویسی ? رابطه ای روی ترم های منطقی مرتبه اول است، بطوریکه برای هر ?? (l, r) شرایط ، l??? و ??ar(l) ? ??ar(r) برقرار باشد. مجموعه ??ar(t)شامل متغیرهای ظاهر شده در ترم t می باشد. پایان پذیری یک ویژگی ضروری برای زبان های تابعی است. سیستم ? پایان پذیر است اگر دن...

ادبیّات کودک، با وجود اهمّیّت تردید ناپذیر و نقش موثّری که در شکل گیری شخصیّت کودکان دارد، از زمینه هایی است که تاکنون کم تر به صورت اصولی و علمی به آن پرداخته شده است. در این میان، فنّ ارزشمند بازنویسی نیز، با آن پیشینه ی درخشان در ادب فارسی، عموماً مورد غفلت بوده است. آثار اندکی که با استفاده از این شیوه به وجود آمده اند نیز، کیفیّت بالایی ندارند. رساله ی حاضر با توجّه به مطالب یاد شده، کوشیده است م...

امروزه ضرورت آشنایی کودکان و نوجوانان با ادبیات اصیل و غنی گذشته بر همگان آشکار شده است اما متون کهن به دلیل دشوار بودن زبانشان چندان شوق و رغبتی را در کودکان برای مطالعه این آثار بر نمی انگیزد؛ در نتیجه متون کهن باید به گونه ای جذاب با زبانی ساده و روشن که کهنگی آن زدوده شده باشد ،برای کودکان بازنویسی شوند. در این بازنویسی ها باید به نحوه بیان و محتوا و حتی شیوه داستان پردازی این بازنویسی ها ...

سی ترم

تولید اتوماتیک نرم افزار به معنای ساخت یک (مجموعه) برنامه برای حل مساله مفروض است . از آنجا که امروزه کامپیوتر به اکثر محیطها راه پیدا کرده است ، هر روز نیاز به نرم افزارهای جدید بیشتر می شود. در این تحقیق با توجه به ماهیت تبدیلی سیستمهای بازنویسی، امکان اتوماسیون تولید کد برنامه از روی ضوابط ورودی، بااستفاده از این سیستمها مورد بررسی قرار گرفته است . در این راستا پس از بررسی زبانهای موجود، زبا...

اگرچه روشهای تحلیل منطقی و روشهای ساخت حمله، دو رویکرد کلی در زمینه تحلیل پروتکل های رمزنگاری است، اما اغلب برای تحلیل پروتکل ها، به کارگیری توام آنها مناسبتر است. در این مقاله، یک چارچوب عمومی برای یکپارچه سازی تحلیل امنیت پروتکل های رمزنگاری ارایه شده است. بر اساس این چارچوب می توان روشهایی تحلیلی ارایه کرد که در آنها وارسی وجود ویژگیهای امنیتی در پروتکل، همراه با وارسی وجود سناریوهای نقض ویژ...